Welcome to Loot.co.za!   Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
0
Your cart

Your cart is empty
Browse All Departments
  • All Departments
Price
  • R1,000 - R2,500 (1)
  • -
Status
Brand

Showing 1 - 1 of 1 matches in All Departments

Numerical Software Verification - 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected... Numerical Software Verification - 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers (Paperback, 1st ed. 2017)
Sergiy Bogomolov, Matthieu Martel, Pavithra Prabhakar
R1,860 Discovery Miles 18 600
Add to cart
Ships in 10 - 15 working days

This book constitutes the refereed proceedings of the 9th InternationalWorkshop on Numerical Software Verification, NSV 2016, held in Toronto, ON, Canada in July 2011 - colocated with CAV 2016, the 28th International Conference on Computer Aided Verification. The NSV workshop is dedicated to the development of logical and mathematical techniques for the reasoning about programmability and reliability.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Bestway Spiderman Swim Ring (Diameter: 56cm):
Bestway Spiderman Swim Ring (Diameter…
R48 Discovery Miles 480
Casio LW-200-7AV Watch with 10-Year Battery:
Casio LW-200-7AV Watch with 10-Year…
R999 R884 Discovery Miles 8 840
Sharpie Fine Permanent Markers on Card (2 Pack)(Black):
Sharpie Fine Permanent Markers on Card…
R81 Discovery Miles 810
Little Big Paw Duck Wet Dog Food Tin (390gm)(12 Tins):
Little Big Paw Duck Wet Dog Food Tin…
R815 Discovery Miles 8 150
Cable Guys Controller and Smartphone Holder - Minnie Mouse:
Cable Guys Controller and Smartphone…
R399 R349 Discovery Miles 3 490
Shield Air Conditioner Treatment Fogger (200ml):
Shield Air Conditioner Treatment Fogger…
R39 R35 Discovery Miles 350
Loot (Paperback, New edition): Nadine Gordimer
Loot
Nadine Gordimer Paperback  (2)
 R398 R330 Discovery Miles 3 300
Cadac Mantles Adventure (3 Blister Pack) (100 CP):
Cadac Mantles Adventure (3 Blister Pack…
R99 R93 Discovery Miles 930
Luca Distressed Peak Cap (Khaki):
Luca Distressed Peak Cap (Khaki)
R249 Discovery Miles 2 490
Kirstenbosch - A Visitor's Guide (Paperback, New Edition): Colin Paterson-Jones, John Winter
Kirstenbosch - A Visitor's Guide
Colin Paterson-Jones, John Winter Paperback R150 R117 Discovery Miles 1 170

 
Books | DVD | Games | Music | Computers | Electronics | Fashion | Sport | Kitchen | Home | Pets | DIY | Toys | Baby | Health & Beauty | Stationery | Arts & Crafts
Need help?
My account
Services
Networking
Partners